#include "include/sys.h"

void system_reboot() { kernel_restart(NULL); }

void system_shutdown() { kernel_power_off(); }